-
1 предикат тождественности
Information technology: sameness predicateУниверсальный русско-английский словарь > предикат тождественности
-
2 предикат тождественности
Русско-английский словарь по электронике > предикат тождественности
-
3 предикат тождественности
Русско-английский словарь по радиоэлектронике > предикат тождественности
-
4 предикат тождественности
Русско-английский словарь по вычислительной технике и программированию > предикат тождественности
-
5 предикат тождественности
sameness predicate мат.Русско-английский научно-технический словарь Масловского > предикат тождественности
-
6 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
7 предикат
Русско-английский словарь по информационным технологиям > предикат
-
8 предикат
-
9 язык предикатов
-
10 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
11 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
-
12 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
13 применяемость предиката
Русско-английский большой базовый словарь > применяемость предиката
-
14 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
15 исчисление предикатов
-
16 логика предикатов
-
17 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
18 исчисление предикатов
Русско-английский военно-политический словарь > исчисление предикатов
-
19 исчисление предикатов
Русско-английский словарь по информационным технологиям > исчисление предикатов
См. также в других словарях:
Тождество — основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем. В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… … Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) немецкий философ, математик, физик, юрист, историк, языковед. Основные философские сочинения: ‘Рассуждения о метафизике’ (1685), ‘Новая система природы’ (1695), ‘Новые опыты о человеческом разумении’ (1704) … История Философии: Энциклопедия
ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) немецкий философ, математик, физик, юрист, историк, языковед. Основные философские сочинения: «Рассуждения о метафизике» (1685), «Новая система природы» (1695), «Новые опыты о человеческом разуме» (1704),… … Новейший философский словарь
ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия
ИНДИВИДУАЦИЯ — (от лат. individuatio), l) проявление живой и неживой природы как множества неповторимых индивидов сходных, но не тождественных (напр., сходных, но не тождеств. личностей; сходных, но не тождеств. состояний атомов и т. п.). И. выражается… … Философская энциклопедия
Идеация (философия) — У этого термина существуют и другие значения, см. Идеация. Идеация (альтернативные термины: эйдетическая интуиция, категориальное созерцание, созерцание сущности) понятие феноменологии Э. Гуссерля, означающее непосредственное усмотрение,… … Википедия
ЛЕЙБНИЦ Готфрид Вильгельм (1646- 1716) — немецкий философ, математик, физик, юрист, историк, языковед. Основные философские сочинения: Рассуждения о метафизике (1685), Новая система природы (1695), Новые опыты о человеческом разумении (1704), Теодицея (1710), Монадология (1714). Л.… … История Философии: Энциклопедия
БОГ — [греч. θεός; лат. deus; слав. родствен древнеинд. господин, раздаятель, наделяет, делит, древнеперсид. господин, название божества; одно из производных общеслав. богатый]. Понятие о Боге неразрывно связано с понятием Откровения. Предметом… … Православная энциклопедия
ЕВАНГЕЛИЕ. ЧАСТЬ I — [греч. εὐαγγέλιον], весть о наступлении Царства Божия и спасении человеческого рода от греха и смерти, возвещенная Иисусом Христом и апостолами, ставшая основным содержанием проповеди христ. Церкви; книга, излагающая эту весть в форме… … Православная энциклопедия
ЖИЗНЬ — Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) [греч. βίος, ζωή; лат. vita], христ. богословие в учении о Ж.… … Православная энциклопедия